#include <windows.h>
#include <mmsystem.h>
#include <sstream>

#include "ravi_trace.h"

using namespace std;

void raviOutputDebugTime(const char* name) {
    ostringstream ost;
    ost << name << ": " << timeGetTime() << "[msec]" << endl;
    OutputDebugString(ost.str().c_str());
}
